Dynamic overloading with copy semantics in object-oriented languages: a formal account

Mainstream object-oriented languages often fail to provide complete powerful features altogether, such as, multiple inheritance, dynamic overloading and copy semantics of inheritance. In this paper we present a core object-oriented imperative language that integrates all these features in a formal framework. We define a static type system and a translation of the language into the meta-language λ object, in order to account for semantic issues and prove type safety of our proposal. Subject Classifications: 68N15 [Programming Languages], 68N18 [Functional programming and lambda calculus], 68Q55 [Semantics].